- notation formelle
- сущ.
выч. формальная запись, формальное представление
Французско-русский универсальный словарь. 2013.
Французско-русский универсальный словарь. 2013.
NOTATION MATHÉMATIQUE — Pour connaître une langue naturelle, il n’est pas nécessaire d’en apprendre l’histoire ni, pour comprendre sa littérature, de faire l’étude historique de la grammaire et du vocabulaire. À cet égard, le langage mathématique, en raison de son… … Encyclopédie Universelle
Notation de puissance de Knuth — Notation des puissances itérées de Knuth En mathématiques, la notation des puissances itérées de Knuth est une notation qui permet d écrire de très grands entiers et qui a été introduite par Donald Knuth en 1976. L idée de cette notation est… … Wikipédia en Français
Notation des puissances iterees de Knuth — Notation des puissances itérées de Knuth En mathématiques, la notation des puissances itérées de Knuth est une notation qui permet d écrire de très grands entiers et qui a été introduite par Donald Knuth en 1976. L idée de cette notation est… … Wikipédia en Français
Notation des puissances itérées de Knuth — En mathématiques, la notation des puissances itérées de Knuth est une notation qui permet d écrire de très grands entiers et qui a été introduite par Donald Knuth en 1976. L idée de cette notation est basée sur la notion d exponentiation répétée … Wikipédia en Français
Notation des puissances itérées de knuth — En mathématiques, la notation des puissances itérées de Knuth est une notation qui permet d écrire de très grands entiers et qui a été introduite par Donald Knuth en 1976. L idée de cette notation est basée sur la notion d exponentiation répétée … Wikipédia en Français
Notation Z — La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques. Sommaire 1 Historique 2 Z en quelques mots 3 Z par l exemple 4 Les ensembles de base … Wikipédia en Français
Notation des flèches de Knuth — En mathématiques, la notation des puissances itérées de Knuth est une notation qui permet d écrire de très grands entiers et qui a été introduite par Donald Knuth en 1976. L idée de cette notation est basée sur la notion d exponentiation répétée … Wikipédia en Français
Notation complexe — Nombre complexe Pour les articles homonymes, voir complexe. Les nombres complexes forment une extension de l ensemble des nombres réels. Ils permettent notamment de définir des solutions à toutes les équations polynomiales à coefficients réels.… … Wikipédia en Français
Methode formelle (informatique) — Méthode formelle (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou… … Wikipédia en Français
Méthode formelle — (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou des matériels… … Wikipédia en Français
Méthode formelle (informatique) — Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou des matériels électroniques, afin … Wikipédia en Français